Jayadev Misra: mencari di situs web Z-Library

Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana

Akses gratis ke pengetahuan dan budaya.

Sumbangan 15 September 2024 – 1 Oktober 2024

Z-Library adalah perpustakaan online yang terbesar di dunis yang mengandung lebih dari 17,000,000 buku dan 84,837,000 artikel. Misi kami adalah membuat buku dapat diakses oleh semua orang! Hari ini (15 September 2024) kami mulai mengumpulkan sumbangan untuk mendukung dan mengembangkan proyek.

Juga unduhan TANPA BATASAN (selama 31 hari setelah hari pemberian donasi) tersedia untuk SEMUA pengguna yang akan menyumbang proyek selama periode pengumpulan sumbangan hingga 1 Oktober 2024.

Tentang pengumpulan danaMembaca lebih lanjut

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (21)
Yang paling populer
Daftar
- Daftar
- Tabel

1

Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

Cliff B Jones, Jayadev Misra, (eds.)

Tahun:

2021

Bahasa:

english

File:

PDF, 12.99 MB

5.0 / 0

english, 2021

2

Effective Theories in Programming Practice

Effective Theories in Programming Practice

Tahun:

2022

Bahasa:

english

File:

PDF, 13.46 MB

0 / 5.0

english, 2022

3

Parallel Program Design: A Foundation

Parallel Program Design: A Foundation

Addison-Wesley Pub (Sd)

K. Mani Chandy, Jayadev Misra

Tahun:

1988

Bahasa:

english

File:

PDF, 19.93 MB

0 / 0

english, 1988

4

Effective Theories in Programming Practice

Effective Theories in Programming Practice

Association for Computing Machinery

Tahun:

2022

Bahasa:

english

File:

EPUB, 7.28 MB

0 / 5.0

english, 2022

5

Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

Association for Computing Machinery

Cliff B. Jones, Jayadev Misra

Tahun:

2021

Bahasa:

english

File:

PDF, 12.99 MB

5.0 / 0

english, 2021

6

Communications of the ACM - April 2022

Communications of the ACM - April 2022

Cliff Jones, Jayadev Misra

Tahun:

2022

Bahasa:

english

File:

PDF, 13.35 MB

5.0 / 0

english, 2022

7

A Discipline of Multiprogramming

A Discipline of Multiprogramming

Springer Science & Business Media

Tahun:

2012

Bahasa:

english

File:

PDF, 32.69 MB

0 / 0

english, 2012

8

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)

Tahun:

2006

Bahasa:

english

File:

PDF, 6.76 MB

0 / 0

english, 2006

9

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 3.64 MB

0 / 0

english, 2011

10

Euro-Par 2002 Parallel Processing: 8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings

Euro-Par 2002 Parallel Processing: 8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Young-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick Vin (auth.), Burkhard Monien, Rainer Feldmann (eds.)

Tahun:

2002

Bahasa:

english

File:

PDF, 12.94 MB

0 / 0

english, 2002

11

Parallel Program Design: A Foundation

Parallel Program Design: A Foundation

Addison-Wesley Pub (Sd)

K. Mani Chandy, Jayadev Misra

Tahun:

1988

Bahasa:

english

File:

DJVU, 4.39 MB

0 / 0

english, 1988

12

A discipline of multiprogramming: programming theory for distributed applications

A discipline of multiprogramming: programming theory for distributed applications

Tahun:

2001

Bahasa:

english

File:

DJVU, 2.78 MB

0 / 4.5

english, 2001

13

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 3.74 MB

0 / 0

english, 2011

14

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)

Tahun:

1992

Bahasa:

english

File:

PDF, 6.28 MB

0 / 0

english, 1992

15

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)

Tahun:

1992

Bahasa:

english

File:

DJVU, 3.48 MB

0 / 0

english, 1992

16

Parallel Program Design: A Foundation

Parallel Program Design: A Foundation

K. Mani Chandy, Jayadev Misra

Tahun:

1988

Bahasa:

english

File:

DJVU, 3.38 MB

0 / 0

english, 1988

17

A Discipline of Multiprogramming: Programming Theory for Distributed Applications

A Discipline of Multiprogramming: Programming Theory for Distributed Applications

Tahun:

2001

Bahasa:

english

File:

PDF, 9.72 MB

0 / 0

english, 2001

18

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Manfred Broy (eds.)

Tahun:

1989

Bahasa:

english

File:

PDF, 17.11 MB

0 / 0

english, 1989

19

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Manfred Broy (eds.)

Tahun:

1989

Bahasa:

english

File:

DJVU, 3.95 MB

0 / 0

english, 1989

20

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 5.36 MB

0 / 0

english, 2009

21

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 3.05 MB

0 / 0

english, 2009